#ifndef __INITIALIZATION_H_
#define __INITIALIZATION_H_

#include "rtx_inc.h"

UINT32 init_memory (VOID);

VOID init_interrupts (VOID);

VOID init_queues (VOID);

VOID init_processes(UINT32 stack_start);

VOID init_process(UINT32 processID);

#endif
